Buy Used and New Frank S .de Boer Books

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

by Krzysztof R. Apt,Frank S. de Boer,Ernst-Rüdiger Olderog

ISBN 13: 9781848827448

Format: Hardcover (502 pages)
Publisher: Springer
Published: 02 Oct 2009

Save for later

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming and Software Engineering)

by

ISBN 13: 9783642041662

Format: Paperback (299 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering)

by

ISBN 13: 9783540747918

Format: Paperback (297 pages)
Publisher: Springer
Published: 18 Dec 2007

Save for later

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering)

by

ISBN 13: 9783540688624

Format: Paperback (259 pages)
Publisher: Springer
Published: 29 May 2008

Save for later

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)

by

ISBN 13: 9783540921875

Format: Paperback (313 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later